perm filename COMMAN.LAP[BNF,JRA] blob
sn#028956 filedate 1973-03-14 generic text, type T, neo UTF8
(LAP SUBFUN1<CLAUSES> SUBR)
(MOVEI 1 (QUOTE 73))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE EMPTY))
(JRST 0 TAG1)
TAG2 (CALL 0 (E <C>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 73))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <CLAUSES> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<CLAUSES>))
(MOVEI 1 (QUOTE CLAUSES))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<C> SUBR)
(CALL 0 (E <C1>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 54))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(CALL 0 (E <C>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (CALL 0 (E <C1>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <C> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<C>))
(MOVEI 1 (QUOTE C))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<C1> SUBR)
(MOVEI 1 (QUOTE 100))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(CALL 0 (E <S>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(MOVEI 2 (QUOTE STAT))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE DSK))
(CALL 1 (E SPWDX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 72))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(CALL 0 (E <FILE>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(MOVEI 2 (QUOTE DSK))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG4 (MOVEI 1 (QUOTE FIND))
(CALL 1 (E SPWDX))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE 133))
(CALL 1 (E CHX))
(JUMPE 1 TAG6)
(CALL 0 (E <ID>))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE 54))
(CALL 1 (E CHX))
(JUMPE 1 TAG6)
(CALL 0 (E <F1>))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE 135))
(CALL 1 (E CHX))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE 3))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE FIND))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG6 (MOVEI 1 (QUOTE FINDC))
(CALL 1 (E SPWDX))
(JUMPE 1 TAG10)
(MOVEI 1 (QUOTE 133))
(CALL 1 (E CHX))
(JUMPE 1 TAG10)
(CALL 0 (E <F1>))
(JUMPE 1 TAG10)
(MOVEI 1 (QUOTE 135))
(CALL 1 (E CHX))
(JUMPE 1 TAG10)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE CLAUSES))
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE FIND))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG10 (CALL 0 (E <NUMBER>))
(JUMPE 1 TAG12)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG12 (CALL 0 (E <ID>))
(JUMPE 1 TAG14)
(MOVEI 1 (QUOTE 133))
(CALL 1 (E CHX))
(JUMPE 1 TAG14)
(CALL 0 (E <VARLIST>))
(JUMPE 1 TAG14)
(MOVEI 1 (QUOTE 135))
(CALL 1 (E CHX))
(JUMPE 1 TAG14)
(MOVEI 1 (QUOTE 3))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG14 (CALL 0 (E <ID>))
(JUMPE 1 TAG16)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG16 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <C1> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<C1>))
(MOVEI 1 (QUOTE C1))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<VARLIST> SUBR)
(CALL 0 (E <NUMBER>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 54))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(CALL 0 (E <VARLIST>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (CALL 0 (E <NUMBER>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <VARLIST> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<VARLIST>))
(MOVEI 1 (QUOTE VARLIST))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<FILE> SUBR)
(CALL 0 (E <ID>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 50))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(CALL 0 (E <ID1>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 56))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(CALL 0 (E <ID>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 51))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 3))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <FILE> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<FILE>))
(MOVEI 1 (QUOTE FILE))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<ID1> SUBR)
(CALL 0 (E <ID>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <ID1> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<ID1>))
(MOVEI 1 (QUOTE ID1))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<INPUT> SUBR)
(CALL 0 (E <DECOP>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 72))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(CALL 0 (E <OPLIST>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (CALL 0 (E <ID>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 72))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG4 (CALL 0 (E <S>))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG6 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <INPUT> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<INPUT>))
(MOVEI 1 (QUOTE INPUT))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<OPLIST> SUBR)
(CALL 0 (E <OPL>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 73))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <OPLIST> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<OPLIST>))
(MOVEI 1 (QUOTE OPLIST))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<OPL> SUBR)
(CALL 0 (E <OP>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 54))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(CALL 0 (E <OPL>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (CALL 0 (E <OP>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <OPL> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<OPL>))
(MOVEI 1 (QUOTE OPL))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<S> SUBR)
(MOVEI 1 (QUOTE 73))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE EMPTY))
(JRST 0 TAG1)
TAG2 (CALL 0 (E <G1>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 73))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <S> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<S>))
(MOVEI 1 (QUOTE S))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<G1> SUBR)
(CALL 0 (E <G2>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP SUBFUN2<G1> SUBR)
(PUSH P 1)
(CALL 0 (E <EQUIV1>))
(JUMPE 1 TAG2)
(CALL 0 (E <G2>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(MOVE 2 -1 P)
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP <G1> SUBR)
(MOVEI 3 (QUOTE SUBFUN2<G1>))
(MOVEI 2 (QUOTE SUBFUN1<G1>))
(MOVEI 1 (QUOTE G1))
(JCALL 3 (E LRR))
NIL
(LAP SUBFUN1<G2> SUBR)
(CALL 0 (E <G3>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP SUBFUN2<G2> SUBR)
(PUSH P 1)
(CALL 0 (E <IMP1>))
(JUMPE 1 TAG2)
(CALL 0 (E <G3>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(MOVE 2 -1 P)
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP <G2> SUBR)
(MOVEI 3 (QUOTE SUBFUN2<G2>))
(MOVEI 2 (QUOTE SUBFUN1<G2>))
(MOVEI 1 (QUOTE G2))
(JCALL 3 (E LRR))
NIL
(LAP SUBFUN1<G3> SUBR)
(CALL 0 (E <G4>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP SUBFUN2<G3> SUBR)
(PUSH P 1)
(CALL 0 (E <OR1>))
(JUMPE 1 TAG2)
(CALL 0 (E <G4>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(MOVE 2 -1 P)
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP <G3> SUBR)
(MOVEI 3 (QUOTE SUBFUN2<G3>))
(MOVEI 2 (QUOTE SUBFUN1<G3>))
(MOVEI 1 (QUOTE G3))
(JCALL 3 (E LRR))
NIL
(LAP SUBFUN1<G4> SUBR)
(CALL 0 (E <G5>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP SUBFUN2<G4> SUBR)
(PUSH P 1)
(CALL 0 (E <AND1>))
(JUMPE 1 TAG2)
(CALL 0 (E <G5>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(MOVE 2 -1 P)
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP <G4> SUBR)
(MOVEI 3 (QUOTE SUBFUN2<G4>))
(MOVEI 2 (QUOTE SUBFUN1<G4>))
(MOVEI 1 (QUOTE G4))
(JCALL 3 (E LRR))
NIL
(LAP SUBFUN1<G5> SUBR)
(MOVEI 1 (QUOTE 50))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(CALL 0 (E <G1>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 51))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG2 (CALL 0 (E <NOT1>))
(JUMPE 1 TAG4)
(CALL 0 (E <G5>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG4 (CALL 0 (E <QFF>))
(JUMPE 1 TAG6)
(CALL 0 (E <BDY>))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG6 (CALL 0 (E <PRED>))
(JUMPE 1 TAG10)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG10 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <G5> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<G5>))
(MOVEI 1 (QUOTE G5))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<BDY> SUBR)
(CALL 0 (E <IVAR>))
(JUMPE 1 TAG2)
(CALL 0 (E <G5>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 50))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(CALL 0 (E <VLIST>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 51))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(CALL 0 (E <G5>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <BDY> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<BDY>))
(MOVEI 1 (QUOTE BDY))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<VLIST> SUBR)
(CALL 0 (E <IVAR>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 54))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(CALL 0 (E <VLIST>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E STK))
(PUSH P 1)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (CALL 0 (E <IVAR>))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(CALL 1 (E NCONS))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <VLIST> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<VLIST>))
(MOVEI 1 (QUOTE VLIST))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<IVAR> SUBR)
(CALL 0 (E <VARIABLE>))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E STK))
(JRST 0 TAG1)
TAG2 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <IVAR> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<IVAR>))
(MOVEI 1 (QUOTE IVAR))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<EQUIV1> SUBR)
(MOVEI 1 (QUOTE 36))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE EQUIV))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 27))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE EQUIV))
(JRST 0 TAG1)
TAG4 (MOVEI 1 (QUOTE IFF))
(CALL 1 (E SPWDX))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE EQUIV))
(JRST 0 TAG1)
TAG6 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <EQUIV1> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<EQUIV1>))
(MOVEI 1 (QUOTE EQUIV1))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<IMP1> SUBR)
(MOVEI 1 (QUOTE 21))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE IMP))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 47))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE IMP))
(JRST 0 TAG1)
TAG4 (MOVEI 1 (QUOTE 47))
(CALL 1 (E CHX))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE 76))
(CALL 1 (E CHX))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE IMP))
(JRST 0 TAG1)
TAG6 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <IMP1> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<IMP1>))
(MOVEI 1 (QUOTE IMP1))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<OR1> SUBR)
(MOVEI 1 (QUOTE 37))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE OR))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE V))
(CALL 1 (E SPWDX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE OR))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <OR1> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<OR1>))
(MOVEI 1 (QUOTE OR1))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<AND1> SUBR)
(MOVEI 1 (QUOTE 4))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE AND))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 46))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE AND))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <AND1> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<AND1>))
(MOVEI 1 (QUOTE AND1))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<NOT1> SUBR)
(MOVEI 1 (QUOTE 5))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE NOT))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 55))
(CALL 1 (E CHX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE NOT))
(JRST 0 TAG1)
TAG4 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <NOT1> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<NOT1>))
(MOVEI 1 (QUOTE NOT1))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1<QFF> SUBR)
(MOVEI 1 (QUOTE 24))
(CALL 1 (E CHX))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE FA))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE FA))
(CALL 1 (E SPWDX))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE FA))
(JRST 0 TAG1)
TAG4 (MOVEI 1 (QUOTE 25))
(CALL 1 (E CHX))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE TE))
(JRST 0 TAG1)
TAG6 (MOVEI 1 (QUOTE TE))
(CALL 1 (E SPWDX))
(JUMPE 1 TAG10)
(MOVEI 1 (QUOTE TE))
(JRST 0 TAG1)
TAG10 (MOVE 1 (SPECIAL *NIL*))
TAG1 (POPJ P)
NIL
(LAP <QFF> SUBR)
(MOVEI 2 (QUOTE SUBFUN1<QFF>))
(MOVEI 1 (QUOTE QFF))
(JCALL 2 (E NLRR))
NIL
(LAP SUBFUN1>CLAUSES< SUBR)
(CALL 0 (E STK1))
(CAIE 1 (QUOTE EMPTY))
(JRST 0 TAG2)
(MOVEI 1 (QUOTE (:CH ;)))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >C<))
(JUMPE 1 TAG3)
(CALL 0 (E STK1))
(PUSH P 1)
(MOVEI 1 (QUOTE (:CH ;)))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
TAG3
TAG1 (POPJ P)
NIL
(LAP >CLAUSES< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>CLAUSES<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>C< SUBR)
(MOVEI 1 (QUOTE (*)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >C1<))
(JUMPE 1 TAG2)
(CALL 0 (E STK0))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE (* . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >C1<))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >C<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE (:CH /,)))
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
TAG4
TAG1 (POPJ P)
NIL
(LAP >C< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>C<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>C1< SUBR)
(MOVEI 1 (QUOTE (STAT . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >S<))
(JUMPE 1 TAG2)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE (:CH /@)))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE (DSK . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >FILE<))
(JUMPE 1 TAG4)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE (:CH :)))
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE DSK))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG4 (MOVEI 1 (QUOTE (FIND * *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >ID<))
(JUMPE 1 TAG6)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >F1<))
(JUMPE 1 TAG6)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(PUSH P 1)
(MOVEI 1 (QUOTE (:CH /])))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE (:CH /,)))
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE (:CH /[)))
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE FIND))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG6 (MOVEI 1 (QUOTE (FIND CLAUSES *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG10)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >F1<))
(JUMPE 1 TAG10)
(CALL 0 (E STK0))
(PUSH P 1)
(MOVEI 1 (QUOTE (:CH /])))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE (:CH /[)))
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE FINDC))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG10 (MOVEI 1 (QUOTE (* . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG12)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >ID<))
(JUMPE 1 TAG12)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >VARLIST<))
(JUMPE 1 TAG12)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(PUSH P 1)
(MOVEI 1 (QUOTE (:CH /])))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE (:CH /[)))
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG12 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >NUMBER<))
(JUMPE 1 TAG14)
(CALL 0 (E STK1))
(JRST 0 TAG1)
TAG14 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >ID<))
(JUMPE 1 TAG15)
(CALL 0 (E STK1))
TAG15
TAG1 (POPJ P)
NIL
(LAP >C1< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>C1<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>VARLIST< SUBR)
(MOVEI 1 (QUOTE (*)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >NUMBER<))
(JUMPE 1 TAG2)
(CALL 0 (E STK0))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE (* . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >NUMBER<))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >VARLIST<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE (:CH /,)))
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
TAG4
TAG1 (POPJ P)
NIL
(LAP >VARLIST< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>VARLIST<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>FILE< SUBR)
(MOVEI 1 (QUOTE (* . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >ID1<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >ID<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(PUSH P 1)
(MOVEI 1 (QUOTE (:CH /))))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE (:CH /.)))
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE (:CH /()))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >ID<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
TAG4
TAG1 (POPJ P)
NIL
(LAP >FILE< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>FILE<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>ID1< SUBR)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >ID<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
TAG2 (POPJ P)
NIL
(LAP >ID1< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>ID1<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>INPUT< SUBR)
(MOVEI 1 (QUOTE (* . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >DECOP<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >OPLIST<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE (:CH :)))
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >S<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
(JRST 0 TAG1)
TAG4 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >ID<))
(JUMPE 1 TAG5)
(CALL 0 (E STK1))
(PUSH P 1)
(MOVEI 1 (QUOTE (:CH :)))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
TAG5
TAG1 (POPJ P)
NIL
(LAP >INPUT< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>INPUT<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>OPLIST< SUBR)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >OPL<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
(PUSH P 1)
(MOVEI 1 (QUOTE (:CH ;)))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
TAG2 (POPJ P)
NIL
(LAP >OPLIST< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>OPLIST<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>OPL< SUBR)
(MOVEI 1 (QUOTE (*)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >OP<))
(JUMPE 1 TAG2)
(CALL 0 (E STK0))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE (* . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >OP<))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >OPL<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE (:CH /,)))
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
TAG4
TAG1 (POPJ P)
NIL
(LAP >OPL< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>OPL<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>S< SUBR)
(CALL 0 (E STK1))
(CAIE 1 (QUOTE EMPTY))
(JRST 0 TAG2)
(MOVEI 1 (QUOTE (:CH ;)))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >G1<))
(JUMPE 1 TAG3)
(CALL 0 (E STK1))
(PUSH P 1)
(MOVEI 1 (QUOTE (:CH ;)))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
TAG3
TAG1 (POPJ P)
NIL
(LAP >S< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>S<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>G1< SUBR)
(MOVEI 1 (QUOTE (* * *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E >EQUIV1<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >G1<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >G2<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK2))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >G2<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
TAG4
TAG1 (POPJ P)
NIL
(LAP >G1< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>G1<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>G2< SUBR)
(MOVEI 1 (QUOTE (* * *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E >IMP1<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >G2<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >G3<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK2))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >G3<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
TAG4
TAG1 (POPJ P)
NIL
(LAP >G2< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>G2<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>G3< SUBR)
(MOVEI 1 (QUOTE (* * *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E >OR1<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >G3<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >G4<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK2))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >G4<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
TAG4
TAG1 (POPJ P)
NIL
(LAP >G3< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>G3<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>G4< SUBR)
(MOVEI 1 (QUOTE (* * *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 2))
(CALL 1 (E >AND1<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >G4<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >G5<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK2))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >G5<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
TAG4
TAG1 (POPJ P)
NIL
(LAP >G4< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>G4<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>G5< SUBR)
(MOVEI 1 (QUOTE (* *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >NOT1<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >G5<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE (* . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >QFF<))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >BDY<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG4 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >PRED<))
(JUMPE 1 TAG6)
(CALL 0 (E STK1))
(JRST 0 TAG1)
TAG6 (MOVEI 1 (QUOTE 1))
(CALL 1 (E >G1<))
(JUMPE 1 TAG7)
(CALL 0 (E STK1))
(PUSH P 1)
(MOVEI 1 (QUOTE (:CH /))))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE (:CH /()))
(CALL 2 (E XCONS))
TAG7
TAG1 (POPJ P)
NIL
(LAP >G5< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>G5<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>BDY< SUBR)
(MOVEI 1 (QUOTE ((*) *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >IVAR<))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >G5<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE (* *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >VLIST<))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >G5<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE (:CH /))))
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
(MOVEI 2 (QUOTE (:CH /()))
(CALL 2 (E XCONS))
TAG4
TAG1 (POPJ P)
NIL
(LAP >BDY< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>BDY<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>VLIST< SUBR)
(MOVEI 1 (QUOTE (*)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >IVAR<))
(JUMPE 1 TAG2)
(CALL 0 (E STK0))
(JRST 0 TAG1)
TAG2 (MOVEI 1 (QUOTE (* . *)))
(CALL 1 (E MATCH))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >IVAR<))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE 0))
(CALL 1 (E >VLIST<))
(JUMPE 1 TAG4)
(CALL 0 (E STK1))
(PUSH P 1)
(CALL 0 (E STK0))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE (:CH /,)))
(CALL 2 (E XCONS))
(POP P 2)
(CALL 2 (E XCONS))
TAG4
TAG1 (POPJ P)
NIL
(LAP >VLIST< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>VLIST<))
(JCALL 2 (E OUTRUL))
NIL
(LAP SUBFUN1>IVAR< SUBR)
(MOVEI 1 (QUOTE 1))
(CALL 1 (E >VARIABLE<))
(JUMPE 1 TAG2)
(CALL 0 (E STK1))
TAG2 (POPJ P)
NIL
(LAP >IVAR< SUBR)
(MOVEI 2 (QUOTE SUBFUN1>IVAR<))
(JCALL 2 (E OUTRUL))
NIL
(LAP >EQUIV1< SUBR)
(MOVEI 2 (QUOTE COND))
(JCALL 2 (E OUTRUL))
NIL
(LAP >IMP1< SUBR)
(MOVEI 2 (QUOTE COND))
(JCALL 2 (E OUTRUL))
NIL
(LAP >OR1< SUBR)
(MOVEI 2 (QUOTE COND))
(JCALL 2 (E OUTRUL))
NIL
(LAP >AND1< SUBR)
(MOVEI 2 (QUOTE COND))
(JCALL 2 (E OUTRUL))
NIL
(LAP >NOT1< SUBR)
(MOVEI 2 (QUOTE COND))
(JCALL 2 (E OUTRUL))
NIL
(LAP >QFF< SUBR)
(MOVEI 2 (QUOTE COND))
(JCALL 2 (E OUTRUL))
NIL